1. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
2. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
3. Combinators, -terms and proof theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Combinatory logic
رده :
QA9
.
S753
4. Proofs and types
پدیدآورنده: Girard, Jean-Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989





